#include <iostream>


using namespace std;
/**
 * https://www.luogu.com.cn/problem/P3954
 */
int main(){

    int a,b,c;
    cin >> a >> b >> c;
    cout << 0.2*a + 0.3*b + 0.5*c << endl;

    return 0;
}